html {
	background-color: #ccccff;
	border-left: 3px dashed #ffffff;
	border-right: 3px dashed #ffffff;
}

/* language dependent quotes work only with <q></q>, but neither Firefox nor Safari displays them */

html[lang|="de"] {
    quotes: "\201E" "\201C" "\201A" "\2018";
}

html[lang|="en"] {
    quotes: "\201C" "\201D" "\2018" "\2019";
}

html[lang|="fr"] {
    quotes: "\00AB" "\00BB" "\2039" "\203A";
}

body {
	font-family: 'Droid Serif', Georgia, Times, serif, roman;
	font-size: 110%;
	padding-left: 2em;
	padding-right: 2em;
	margin-left: auto;
	margin-right: auto;
	text-align: left;
}

p {
	text-align: justify;
	margin-bottom: 0.25em;
}

a {
	text-decoration: none;
}

p a, li a {
	color: #000000;
	border-bottom: 1px dotted #ffffff;
}

a:hover {
	border-bottom: 1px dotted #ff0000;
}

b, strong, th {
	font-weight: bold;
}

li {
	list-style: inherit;
	margin-left: 1em;
}

ul li {
	list-style-position: outside;
	list-style-type: disc;
}

select {
	font-size: 80%;
}

h1, h2, h3, h4, h5 {
  font-family: 'Yanone Kaffeesatz', Arial, sans;
	color: #111133;
	font-weight: bold;
	margin-top: 0.5em;
	margin-bottom: 0.25em;
}

h1 a, h2 a, h3 a, h4 a, h5 a {
	color: #111133;
}

h2 {
	font-size: 200%;
	margin-top: 0;
}

h3 {
	font-size: 150%;
}

h4 {
	font-size: 120%;
}

h5,td {
	font-size: 100%;
}

table {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

table, tr, th, td {
	text-align: left;
	vertical-align: top;
	border: 1px dashed #ffffff;
}

th, td {
	padding: 0.25em;
}

.small {
	font-size: 80%;
}

.right {
	float: right;
	text-align: right;
}

.hyphen {
	color: #ff0000;
	font-weight: bold;
}

sub.tex {
	position: relative;
	font-size: 100%;
	top: 0.2em;
}

#hd, #bd, #ft {
	width: 90%;
	position: fixed;
}

#hd {
	top: 0;
	height: 5em;
	border-bottom: 1px dashed #ffffff;
}

#bd {
	top: 6em;
	bottom: 2em;
}

#ft {
	bottom: 0;
	height: 1.5em;
	border-top: 1px dashed #ffffff;
}

#hd img {
	max-height: 2em;
}

#content {
	position: relative;
	height: 100%;
	overflow: auto;
	padding-right: 0.5em;
}

#navigation {
	text-align: left;
	position: relative;
	bottom: -0.5em;
}

#navigation a {
	float: left;
	color: #000000;
	border-right: 1px dashed #ffffff;
	padding: 0 0.25em 0.25em 0.25em;
}

#navigation a:first-child {
	border-left: 1px dashed #ffffff;
}

#navigation a:hover {
	border-bottom: none;
	background-color: #eeeeff;
}

#demo_example {
	width: 50%;
	margin-right: 1em;
	float: left;
	font-family: Times, serif;
}

